Logical consequence - PDFSEARCH.IO - Document Search Engine

Logical consequence
Results: 692

#	Item
671	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2005-04-04 06:40:22 Deduction Proof theory Functions and mappings Logical consequence Philosophical logic Natural deduction Mathematical proof Primitive recursive function Entailment Logic Mathematics Mathematical logic
672	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-01-15 09:13:24 Deduction Mathematical logic Mathematical proofs Logical consequence Natural deduction Entailment Mizar system First-order logic Existential quantification Logic Mathematics Proof theory
673	PDF Document Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-01-02 17:37:50 Rules of inference Philosophical logic Logical consequence Natural deduction Entailment Soundness Inference Disjunctive syllogism Modal logic Logic Proof theory Deduction
674	PDF Document Add to Reading List Source URL: u.cs.biu.ac.il Language: English - Date: 2007-06-20 15:27:10 Logical consequence Natural language processing Computational linguistics Textual entailment Entailment Inference Automatic summarization Axiom Word-sense disambiguation Logic Science Linguistics
675	PDF Document Add to Reading List Source URL: u.cs.biu.ac.il Language: English - Date: 2007-07-31 03:26:00 Logical consequence Natural language processing Pragmatics Statistical inference Textual entailment Computational linguistics Inference Entailment Implicature Logic Science Statistics
676	PDF Document Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:32:35 Reasoning Deduction Critical thinking Problem solving Logical consequence Mental model Deductive reasoning Inductive reasoning Inference Logic Science Knowledge
677	PDF Document Add to Reading List Source URL: ebusiness.mit.edu Language: English - Date: 2012-11-08 09:59:20 Knowledge Information science Semantic Web Non-classical logic Logical consequence Knowledge representation and reasoning Ontology RuleML Non-monotonic logic Science Logic Reasoning
678	PDF Document Add to Reading List Source URL: physnet.org Language: English - Date: 2012-03-14 12:01:08 Logic Problem solving Epistemology Logical consequence Thought Inductive reasoning Deductive reasoning Reason Argument Reasoning Knowledge Science
679	PDF Document Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2010-04-20 08:02:59 Statistical theory Deduction Entailment Logical consequence Metalogic Logic Estimation theory Statistics
680	PDF Document Add to Reading List Source URL: www.cogsci.uci.edu Language: English - Date: 2006-02-17 17:14:56 Reasoning Philosophical logic Inference Time Vector field Entailment Orthogonality Moving frame Logic Algebra Logical consequence

UPDATE